From: Florian Müllner <fmuellner@gnome.org>
Date: Mon, 4 Nov 2013 09:21:59 +0000 (+0100)
Subject: workspace: Remove unused includes and constants
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~3082
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=01dbfddb64cbd89a8abc5c432aa76aca86d69447;p=gnome-shell.git

workspace: Remove unused includes and constants
---

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index 57a7de418..be1407d90 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -10,19 +10,14 @@ const St = imports.gi.St;
 const Signals = imports.signals;
 
 const DND = imports.ui.dnd;
-const Lightbox = imports.ui.lightbox;
 const Main = imports.ui.main;
 const Overview = imports.ui.overview;
-const Panel = imports.ui.panel;
 const Tweener = imports.ui.tweener;
 
-const FOCUS_ANIMATION_TIME = 0.15;
-
 const WINDOW_DND_SIZE = 256;
 
 const WINDOW_CLONE_MAXIMUM_SCALE = 0.7;
 
-const LIGHTBOX_FADE_TIME = 0.1;
 const CLOSE_BUTTON_FADE_TIME = 0.1;
 
 const DRAGGING_WINDOW_OPACITY = 100;